1. Automata and computability /
المؤلف: Dexter C. Kozen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
2. Dynamic logic
المؤلف: /David Harel; Dexter Kozen; Jerzy Tiuryn
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع:
3. Dynamic logic
المؤلف: / David Harel, Dexter Kozen, Jerzy Tiuryn
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Formal methods (Computer science)
رده :
QA
,
76
.
9
,.
L63
,
H37
,
2000
4. Logics of Programs :
المؤلف: edited by Dexter Kozen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
5. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
المؤلف: edited by Dexter Kozen
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
131
6. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
المؤلف: edited by Edmund Clarke and Dexter Kozen
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
164
7. Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
المؤلف: edited by Edmund Clarke and Dexter Kozen
المکتبة: (طهران)
موضوع: Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
164
8. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
المؤلف: / Edited by Edmund Clarke, Dexter Kozen
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
رده :
QA76
.
6
.
L5855
1985
9. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
المؤلف: Dexter Kozen )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
10. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
المؤلف: Dexter Kozen, editor
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
11. The design and analysis of algorithms
المؤلف: Dexter C. Kozen
المکتبة: (طهران)
موضوع: ، Computer algorithms
رده :
QA
76
.
9
.
A43K69
1992
12. The design and analysis of algorithms
المؤلف: Kozen, Dexter
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer algorithms
رده :
QA
76
.
9
.
A43
K69
13. Theory of computation
المؤلف: / Dexter C. Kozen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Computer science--Mathematics,Recursion theory.
رده :
QA
,
267
.
7
,.
K69
,
2006
14. Theory of computation
المؤلف: / Dexter C. Kozen
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
15. Theory of computation
المؤلف: / Dexter C. Kozen
المکتبة: (طهران)
موضوع: Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
